2de8ef315dc517ffd02fda343bdfd0e0f664a570,test/heros/IFDSSolverTest.java,IFDSSolverTest,branch,#,80

In pattern: SUPERPATTERN

Frequency: 15

Non-data size: 4


Instances


1427378362
lerch@st.informatik.tu-darmstadt.de
Sable/heros,2de8ef315dc517ffd02fda343bdfd0e0f664a570,test/heros/IFDSSolverTest.java,IFDSSolverTest,branch,#,80


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,pauseForSameSourceMultipleTimesTransitively,#,597


1427378362
lerch@st.informatik.tu-darmstadt.de
Sable/heros,2de8ef315dc517ffd02fda343bdfd0e0f664a570,test/heros/IFDSSolverTest.java,IFDSSolverTest,branch,#,80


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,resumeEdgePausedOnOverwrittenFieldForPrefixes,#,323


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,resumeOnTransitiveInterestedCaller,#,384


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,holdAndResume,#,113


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,registerPausedEdgeInLateCallers,#,355


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,holdAndResume,#,113


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,resumePausedOnTransitiveExclusion,#,288


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,pauseForSameSourceMultipleTimes,#,582


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,includeResolversInCallDeltas3,#,855


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,branch,#,456


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,resumeEdgePausedOnOverwrittenField,#,307


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,hold,#,98


1426777181
lerch@st.informatik.tu-darmstadt.de
Sable/heros,3398e46f09c5ab9cbbea474410759b68f608382e,test/heros/alias/FieldSensitiveIFDSSolverTest.java,FieldSensitiveIFDSSolverTest,branch,#,456